R. Kashima; "Cut-free sequent calculi for some tense logics"